Peirce: an Algorithm for Abductive Reasoning Operating with a Quaternary Reasoning Framework
نویسندگان
چکیده
منابع مشابه
Peirce: an Algorithm for Abductive Reasoning Operating with a Quaternary Reasoning Framework
Abductive reasoning algorithms formulate possible hypotheses to explain observed facts using a theory as the basis. These algorithms have been applied to various domains such as diagnosis, planning and interpretation. In general, algorithms for abductive reasoning based on logic present the following disadvantages: (1) they do not allow the explicit declaration of conditions that may affect the...
متن کاملPeirce and the Autonomy of Abductive Reasoning
Essential to Peirce's distinction among three kinds of reasoning, deduction, induction and abduction, is the claim that each is correlated to a unique species of validity irreducible to that of the others. In particular, abductive validity cannot be analyzed in either deductive or inductive terms, a consequence of considerable importance for the logical and epistemological scrutiny of scientifi...
متن کاملAbductive Reasoning with Uncertainty∗
Abductive reasoning in general describes the process of discovering hypotheses and rules that would entail a given conclusion. Abductive reasoning consists of assessing the likelihood that a specific hypothesis entails a given conclusion. Abductive reasoning based on probabilities is used in many disciplines, such as medical diagnostics, where medical test results combined with conditional prob...
متن کاملAn Abductive Propositional Logic for Design Reasoning
Design can be seen as a reasoning process based on non-classic logic, in which non-monotonicity and abduction are two essential features. This paper introduces Abductive Propositional Logic (APL), which is a simple but powerful formal system to deal with these two features. To show its capabilities, APL is used to analyze the reasoning of a conceptual design of a scooter. The results reveal tha...
متن کاملA Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning
This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm can be interrupted at any time returning the solution found so far. The quality of the approximation increases monotonically when more computational resources are available. The method is based on cost functions and returns lowe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research in Computing Science
سال: 2014
ISSN: 1870-4069
DOI: 10.13053/rcs-82-1-5